This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

This book presents the results of these thinkers in a newly unified manner and displays their significance for the philosophy of mathematics.

The classic results obtained by Gödel, Tarski, Kleene, and Church in the early thirties are the finest flowers of symbolic logic. They are of fundamental importance to those investigations of the foundations of mathematics via the concept of a formal system that were inaugurated by Frege, and of obvious significance to the mathematical disciplines, such as computability theory, that developed from them. Derived from courses taught by the author over several years, this new exposition presents all of the results with (...) their original proofs and central concepts in a manner that is unified by a systematic grounding of the notion of effectiveness in the semantics of the existential quantifier. Logicians and non-mathematicians, repelled by detail which is not obviously relevant in the standard textbooks, will be able to reach the heart of the matter with a minimum of fuss. (shrink)

Reciprocity has been seen as an important notion for anthropologists studying economic and social relations, and this volume examines it in connection with Greek culture from Homer to the Hellenistic period.

Excerpt from The Psychological Aspects of Christian Experience Continued observation of the various methods of religious instruction has brought upon me a conviction that grows stronger as the years go by, that there must be, as Francis Peabody says, a new expansion of the range of studies appropri ate to the teachers of religion. There ought to be a far deeper study of the psychology of reli gion. The appeal to the impulses and emotions, so prevalent in the methods of (...) some teachers, is far behind twentieth century enlightenment. It was foreign to the methods of our Saviour. He taught men. He did not frighten them into ao tion, neither entice them. He instructed their minds in truth. Ye shall know the truth and the truth shall make you free. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Recueil de textes écrits par des intimes du philosophe, à l'occasion du dixième anniversaire de sa mort : Jeannette Colombel, Jean-Pierre Faye, Jean-Luc Nancy ou encore Jacques Derrida, Roger-Pol Droit, Fanny Deleuze...

This study explores girls? aspirations for their future. The context was an ex-coalmining area where concerns had been raised by the local authority about the levels of girls? achievement. The focus of the research was the views of Year 6 girls as they prepared for their transition to secondary school and Year 11 girls as they prepared for their transition to post-compulsory school life. Perspectives of their staff were also sought, focusing on the impact of school and its community on (...) girls? aspirations. Findings indicated that while the aspirations of the primary school girls were similar, those of the secondary girls differed significantly. Staff viewed this as reflective of the local context and school ethos. These responses offer a basis on which schools could build strategies to increase aspirations and provide support towards their achievement. (shrink)

Given a 4-tuple of Boolean variables (a, b, c, d), logical proportions are modeled by a pair of equivalences relating similarity indicators ( \({a \wedge b}\) and \({\overline{a} \wedge \overline{b}}\) ), or dissimilarity indicators ( \({a \wedge \overline{b}}\) and \({\overline{a} \wedge b}\) ) pertaining to the pair (a, b), to the ones associated with the pair (c, d). There are 120 semantically distinct logical proportions. One of them models the analogical proportion which corresponds to a statement of the form “a (...) is to b as c is to d”. The paper inventories the whole set of logical proportions by dividing it into five subfamilies according to what they express, and then identifies the proportions that satisfy noticeable properties such as full identity (the pair of equivalences defining the proportion hold as true for the 4-tuple (a, a, a, a)), symmetry (if the proportion holds for (a, b, c, d), it also holds for (c, d, a, b)), or code independency (if the proportion holds for (a, b, c, d), it also holds for their negations \({{(\overline{a},\overline{b}, \overline{c}, \overline{d})}}\) ). It appears that only four proportions (including analogical proportion) are homogeneous in the sense that they use only one type of indicator (either similarity or dissimilarity) in their definition. Due to their specific patterns, they have a particular cognitive appeal, and as such are studied in greater details. Finally, the paper provides a discussion of the other existing works on analogical proportions. (shrink)

Cet article présente les résultats de l'analyse d'isotopes stables du carbone et de l'azote pratiquée sur des échantillons d'ossements humains issus des fouilles de l'habitat mésohelladique de l'Aspis. L'objectif de l'analyse est de reconstituer le régime alimentaire des habitants de l'Aspis et d'étudier les variations de régime entre des sous-groupes de population définis par des critères d'âge et de sexe et/ou de statut social. Sept échantillons ont été prélevés, dont quatre seulement ont fourni suffisamment de collagène pour être analysés. Les (...) données isotopiques indiquent que les habitants de l'Aspis avaient un régime alimentaire de type terrestre C3 relativement homogène ; toutefois, le seul individu de sexe masculin inhumé dans le cimetière semble avoir consommé plus de protéines animales (viande et/ou produits laitiers). Les ressources marines semblent avoir occupé une place négligeable dans l'alimentation des habitants de l'Aspis. D'une façon générale, le signal isotopique de leur régime alimentaire ne diffère pas fondamentalement de celui qui a été observé pour leurs contemporains de Lerne ou pour le groupe inhumé dans le Cercle Β de Mycènes. (shrink)

The increase in drop-out rates, especially among older people, in longitudinal studies is a matter for concern if the results are to be valid. The research reported here contains a number of pieces of evidence that might help address the problem. These include a literature review, a survey of some longitudinal studies, secondary analysis of the data from a longitudinal study of civil servants, and new data from focus groups and telephone interviews with participants from this current study. The findings (...) relate to reasons why older people continue to take part in such studies, why they drop out and what might encourage them to continue participating. The main reasons for drop out relate to being older, having cognitive impairment and poor functioning, living alone, being a woman and being less educated. There were also a range of practical reasons including the study being too time-consuming and problems with transport. (shrink)

The ventricular pressure profile is characteristic of the cardiac contraction progress and is useful to evaluate the cardiac performance. In this contribution, a tissue-level electromechanical model of the left ventricle is proposed, to assist the interpretation of left ventricular pressure waveforms. The left ventricle has been modeled as an ellipsoid composed of twelve mechano-hydraulic sub-systems. The asynchronous contraction of these twelve myocardial segments has been represented in order to reproduce a realistic pressure profiles. To take into account the different energy (...) domains involved, the tissue-level scale and to facilitate the building of a modular model, multiple formalisms have been used: Bond Graph formalism for the mechano-hydraulic aspects and cellular automata for the electrical activation. An experimental protocol has been defined to acquire ventricular pressure signals from three pigs, with different afterload conditions. Evolutionary Algorithms have been used to identify the model parameters in order to minimize the error between experimental and simulated ventricular pressure signals. Simulation results show that the model is able to reproduce experimental ventricular pressure. In addition, electro-mechanical activation times have been determined in the identification process. For example, the maximum electrical activation time is reached, respectively, 96.5, 139.3 and 131.5 ms for the first, second, and third pigs. These preliminary results are encouraging for the application of the model on non-invasive data like ECG, arterial pressure or myocardial strain. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them consistent (...) in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

Commonsense reasoning often relies on the perception of similarity as well as dissimilarity between objects or situations.

The ventricular pressure profile is characteristic of the cardiac contraction progress and is useful to evaluate the cardiac performance. In this contribution, a tissue-level electromechanical model of the left ventricle is proposed, to assist the interpretation of left ventricular pressure waveforms. The left ventricle has been modeled as an ellipsoid composed of twelve mechano-hydraulic sub-systems. The asynchronous contraction of these twelve myocardial segments has been represented in order to reproduce a realistic pressure profiles. To take into account the different energy (...) domains involved, the tissue-level scale and to facilitate the building of a modular model, multiple formalisms have been used: Bond Graph formalism for the mechano-hydraulic aspects and cellular automata for the electrical activation. An experimental protocol has been defined to acquire ventricular pressure signals from three pigs, with different afterload conditions. Evolutionary Algorithms have been used to identify the model parameters in order to minimize the error between experimental and simulated ventricular pressure signals. Simulation results show that the model is able to reproduce experimental ventricular pressure. In addition, electro-mechanical activation times have been determined in the identification process. For example, the maximum electrical activation time is reached, respectively, 96.5, 139.3 and 131.5 ms for the first, second, and third pigs. These preliminary results are encouraging for the application of the model on non-invasive data like ECG, arterial pressure or myocardial strain. (shrink)

Mucoidy and cytotoxicity arise from two independent modifications of the phenotype of the bacterium Pseudomonas aeruginosa that contribute to the mortality and morbidity of cystic fibrosis. We show that, even though the transcriptional regulatory networks controlling both processes are quite different from a molecular or mechanistic point of view, they may be identical from a dynamic point of view: epigenesis may in both cases be the cause of the acquisition of these new phenotypes. This was highlighted by the identity of (...) formal graphs modelling these networks. A mathematical framework based on formal methods from computer science was defined and implemented with a software environment. It allows an easy and rigorous validation and certification of these models and of the experimental methods that can be proposed to falsify or validate the underlying hypothesis. (shrink)

Selfhood and the Soul is a collection of new and original essays in honour of Christopher Gill, Emeritus Professor of Ancient Thought at the University of Exeter. Although they all share the same concern - the experience of being a person and the question of how best to live - as in the work of the honorand himself they are distinguished by a diversity of approach and subject matter, taking the reader on a journey from ancient philosophy to medical (...) writing via discussions of topics as varied as money, love, free will, and cookery. (shrink)

This book prints for the first time two remarkable interlocking sequences of letters between Paris and the Netherlands: 40 letters from Gilles Ménage in Paris to Johann-Georg Grævius in Utrecht, and 30 from the printer Henrik Wetstein, in Amsterdam, to Ménage. Their principal focus is the publication of a considerable number of Ménage’s works outside France, above all his monumental edition of Diogenes Laertius’s _Lives of the Philosophers._ The letters give an engaging picture of mutual help within the community of (...) scholars, Dutch, German, English, and French, including Huguenot exiles like Le Clerc and Bayle. Ménage’s are full of information from Paris; while Wetstein’s, forthright and humorous, concentrate on publishing details in a sometimes stormy relationship. The great Diogenes edition encountered an extraordinary range of problems: difficulties at every stage of publication, hazardous wartime communications, and, not least, a bizarrely eccentric collaborator in Marcus Meibomius. The two correspondences provide a fascinating case-study of the practical working of international scholarly publishing in time of war, and the European network of learned correspondence in the later seventeenth century. Each letter is printed in full, accompanied by a summary, detailed commentary, and extensive annotations. (shrink)

In this article I criticize the treatment of the relationship between Wittgenstein and Whitehead asserted by Jerry Gill in a 2014 article in Process Studies. I argue that Wittgenstein s later philosophy is much more sympathetic to Whitehead s view than Gill thinks.

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 61.3 (2000) 453-471 [Access article in PDF] Liberty, Authority, and Trust in Burke's Idea of Empire Richard Bourke When Edmund Burke first embarked upon a parliamentary career, British political life was in the process of adapting to a series of critical reorientations in both the dynamics of party affiliation and the direction of imperial policy. During the period of the Seven Years' (...) War, a reconstituted militia became a focus for patriotic enthusiasm, uniting national sentiment against France and effectively eradicating the remnants of Jacobite rhetoric and aspiration. Traditional opposition between Tory and Whig became irrelevant, while Court and Country jointly came to the support of the Pitt-Newcastle ministry. However, in due course the Old Corps disintegrated as George III succeeded to the throne with the promise of an end to factional strife and the beginning of a patriotic alliance in government. But while competing ideologies and interests on the domestic political scene were undergoing comprehensive realignment, the pursuit of a blue-water policy in tandem with strategic continental campaigns brought Britain's struggle against France into North America, the Caribbean, and India. Trade continued to expand into Asia and West Africa, but the principles of commercial advantage were continually brought into open conflict with the exigencies of war. The division of power in Europe became embroiled in a substantial redivision of empire, and by 1763 British territorial expansion had reached its zenith.When Burke was appointed private secretary to the Marquis of Rockingham, with the national debt standing at an all time high and the demands of imperial defense unlikely to diminish, the politics of empire called for urgent attention from all sections of the political establishment. In particular the Rockinghamites, adopting a posture of aloofness from venality and petty interest, were obliged to advance policies for imperial government on the solid basis of political principle. 1 Coming into parliament as a member for Wendover in the wake of [End Page 453] Grenville's Stamp Act, at a time when the East India Company was assuming control of the revenue in Bengal, Burke set about formulating a doctrine of imperial sovereignty which would be serviceable to the party either in power or in opposition and which would be adequate to the complex reality of detached and extensive empire. The immediate reception of that inquiry, both in Britain and on the Continent, into the fraught world of post-Revolutionary political debate has had the long-term effect of distorting the order of emphasis in terms of which his career as a whole ought properly to be understood.The vigorous elaboration, in opposition to the Jacobin experiment in France, of the conditions under which moderate government could be exercised within the context of an absolute sovereignty was expressed in terms which had originally been invoked as part of a sustained attempt to reconcile civility with empire. As we shall see, that attempt involved a process of delicate coordination by means of which the interests of freedom would be brought into harmony with the demands of public power. In that sense the effort to make liberty and authority mutually responsible can be said to constitute the core ambition of Burke's political rhetoric. In this context responsibility defines the optimally beneficial relation between government and people on the one hand and national sovereignty and the extended empire on the other. This article outlines the practical and theoretical exploration of those relations within the frame of Burke's intervention in the world of eighteenth-century political discourse.Burke was of course well placed in 1765 to evolve a theory of imperial government that was at once ideologically compelling and politically viable. In his capacity as secretary to William Gerard Hamilton in the early 1760s he had already examined the corruption of legitimate empire as represented by the introduction of penal legislation into Ireland after 1694. The Tracts Relating to Popery Laws set out to convict the Irish Parliament in Dublin of flagrant misrule. A subordinate legislature within the empire is charged with having employed... (shrink)